lambda calculus

英 [ˈlæmdə ˈkælkjələs]

美 [ˈlæmdə ˈkælkjələs]

演算；微积分

Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.
它被称为lambda演算，用于研究函数定义与应用程序以及递归概念。
The work from lambda calculus was used to develop functional programming languages, such as Lisp and Scheme.
lambda演算用于开发函数编程语言，例如Lisp和Scheme。
The construction of a model of the lambda calculus system with algebraic operators
具有代数算子的λ演算系统的模型构造
The main work included: The classical lambda calculus was modified to describe the character of dynamic fuzzy;
主要内容包括：变形传统的λ演算，以更好地描述具有动态模糊性的问题；
In this paper, a typed abstract language called LAMBDA-like is defined. Using it as the model, a transformation technique from the functional abstract language based on λ-calculus to a imperative language caled PASCAL-like is presented.
本文定义一类型化的抽象语言like-LAMBDA，并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术。
Lambda Calculus with Type
带类型λ-演算
Self-Applicable Partial Evaluation for the Lambda Calculus of Objects
对象式Lambda演算的自作用部分计值
The database manipulation and definition are based on the evaluation of lambda calculus.
数据库的定义、操作、查询都基于Lambda表达式和计算。